Discrete Event Modeling and Simulation for IoT Efficient Design Combining WComp and DEVSimPy Framework

نویسندگان

  • Souhila Sehili
  • Laurent Capocchi
  • Jean François Santucci
  • Stephane Lavirotte
  • Jean-Yves Tigli
چکیده

One of today’s challenges in the framework of ubiquitous computing concerns the design of ambient systems including sensors, smart-phones, interconnected objects, computers, etc. The major difficulty is to propose a compositional adaptation which aims to integrate new features that were not foreseen in the design, remove or exchange entities that are no longer available in a given context. In order to provide help to overcome this difficulty, a new approach based on the definition of strategies validated using discrete-event simulation is proposed. Such strategies make it possible to take into account conflicts and compositional adaptation of components in ambient systems. These are defined and validate using a discrete-event formalism to be integrated into a prototyping and dynamic execution environment for ambient intelligence applications. The proposed solution allows the designers of ambient systems to define the optimum matching of all components to each other. One pedagogical example is presented (switch-lamp system) as a proof of the proposed approach.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modeling a Smart Hospital Information Architecture Based on Internet of Things and Recommender Agent

Introduction: Today, healthcare organizations worldwide are aware of the significance of technology and its impact on the quality of care. Hospitals are one of the most crucial systems in which the utilization of information is particularly important for several reasons. Using discrete-event simulation and developing a recommender agent, this study aimed to allocate IoT devices to patients in s...

متن کامل

Modeling a Smart Hospital Information Architecture Based on Internet of Things and Recommender Agent

Introduction: Today, healthcare organizations worldwide are aware of the significance of technology and its impact on the quality of care. Hospitals are one of the most crucial systems in which the utilization of information is particularly important for several reasons. Using discrete-event simulation and developing a recommender agent, this study aimed to allocate IoT devices to patients in s...

متن کامل

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

Visualization of Folktales on a Map by Coupling Dynamic DEVS Simulation within Google Earth

This paper deals with dynamic visualization of folktales on a map. The visualization is performed using a coupling of dynamic simulation with the google earth API. The simulation is based on the DEVS (Discrete EVent system Specification) formalism. We have defined a set of basic models to perform visualization of folktales using a software framework called DEVSimPy. DEVSimPy is a framework dedi...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015